Assl Specification of Reliability Self-Assessment in the As-Trm
نویسندگان
چکیده
This article is an introduction to our research towards a formal framework for tackling reliability in reactive autonomic systems with self-monitoring functionality. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, which shows that it is very appropriate language for specifying reliability models as part of overall system behavior. In this paper, we show how ASSL can be used to specify reliability self-assessment in the Autonomic System Timed Reactive Model (AS-TRM). The reliability self-assessment is performed at two levels: autonomic element (local) and system (global). It depends on the configuration of the system and is concerned with the uncertainty analysis of the AS-TRM as it evolves. An appropriate architecture for supporting reliability self-assessment, along with a communication mechanism to implement the reactive and autonomic behavior, are specified with ASSL.
منابع مشابه
The ASSL approach to specifying self-managing embedded systems
The increasing complexity of contemporary embedded computing systems requires the use of selfmanagement in order to handle unforeseen changes in both hardware and control software. The idea behind computer systems capable of self-management is a complex concept compound by many aspects related to both artificial intelligence and awareness. Here, the biggest challenge is still the question how t...
متن کاملSelf-optimization Property in Autonomic Specification of Distributed MARF with ASSL
In this work, we venture out to develop self-optimization features in the Distributed Modular Audio Recognition Framework (DMARF). Here, we use the Autonomic System Specification Language (ASSL) to specify a self-optimization policy and generate the code for the same. This completes the first iteration of the autonomic specification layer for DMARF and enables re-engineered autonomic DMARF syst...
متن کاملComponent-Oriented Behavior Extraction for Autonomic System Design
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate properties of the ESA ExoMars Rover in depth. We show here how to enable GEAR’s game-based verification techniques for ASSL via systematic ...
متن کاملA Self-adaptive Architecture for Autonomic Systems Developed with ASSL
We address the need to realize a runtime self-modifiable architecture for autonomic systems, specified and generated with the ASSL (Autonomic System Specification Language) framework. This framework generates such systems with a special hierarchical multi-granular architecture composed of singleton classes. Base ASSL is designed to support runtime evolving systems, whereas in this approach, we ...
متن کاملModel Checking for Autonomic Systems Specified with ASSL
Autonomic computing augurs great promise for deep space exploration missions, bringing onboard intelligence and less reliance on control links. As part of our research on the ASSL (Autonomic System Specification Language) framework, we have successfully specified autonomic properties, verified their consistency, and generated prototype models for both the NASA ANTS (Autonomous Nano-Technology S...
متن کامل